- 定理证明
- theorem: n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- prove: vt. ( -d; -d, 〔古、美〕 proven ) ...
- automated theorem proving: 自定理明; 自动定理证明
- automatic theorem proving: 自动定理证明
- mechanical theorem proving: 机器证明
下载手机词典可随时随地查词查翻译
theorem proving中文什么意思
- 定理证明
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 下一页
- A member of the herbrand base is called atom in automatic theorem proving
在自动定理证明中,海尔勃朗基的成员也称为原子。 - A new method based on numeric computation for automated geometric theorem proving and discovering is shown
摘要该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统。 - Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。 - An convergence theorem proved and in order to speed convergence of working - set algorithm , constrained matrix derived from abs in working - set method corrected
为提高算法的收敛速度，对工作集算法中由abs算法生成的约束阵进行了校正 - In this paper , we do two things . first , for theorem proving problem such like ( vx ) ( 3y ) p ( x , y ) , we present a method for extracting procedure from the proofs generated by the resolution principle
) y ) p ( x ， y )的定理证明问题，本文从分析归结证明树中的每个节点入手，提取归结证明的过程信息，生成一个程序。